#! /bin/sh

# used to filter helgrind output shown by gdb/vgdb.

dir=`dirname $0`

$dir/../helgrind/tests/filter_stderr "$@"              |

# filter vgdb messages
$dir/filter_vgdb |

# and remove any remaining empty lines
sed -e '/^$/d'
